$\forall$$r$:CRng\{i\}. Ideal($r$)\{i\} $\in$ Type$_{\mbox{\scriptsize i'}}$